On cofree S-spaces and cofree S-flows
نویسندگان
چکیده
منابع مشابه
Mongruences and Cofree Coalgebras
A coalgebra is introduced here as a model of a certain signature consisting of a type X with various \destructor" function symbols, satisfying certain equations. These destructor function symbols are like methods and attributes in object-oriented programming: they provide access to the type (or state) X. We show that the category of such coalgebras and structure preserving functions is comonadi...
متن کاملInheritance and Cofree Constructions
The coalgebraic view on classes and objects is elaborated to include inheritance. Inheritance in coalgebraic speciication (of classes) will be understood dually to parametrization in algebraic speciication. That is, inheritance involves restriction (specialization), where parametrization involves extension. And cofree constructions are \best" restrictions, like free constructions are \best" ext...
متن کاملCofree compositions of coalgebras
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra w...
متن کاملCofree Coalgebras over Operads
This paper explicitly constructs cofree coalgebras over operads in the category of DG-modules. It is shown that the existence of an operadaction on a coalgebra implies a “generalized coassociativity” that facilitates the construction. Special cases are considered in which the general expression simplifies (such as the pointed, irreducible case). In the pointed irreducible case, this constructio...
متن کاملOn the Structure of Cofree Hopf Algebras
We prove an analogue of the Poincaré-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B∞-algebra. We construct a universal enveloping functor U2 from B∞-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra H is of the form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied General Topology
سال: 2013
ISSN: 1989-4147,1576-9402
DOI: 10.4995/agt.2012.1632